<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>option_group_undo</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--editor--edit.c.html#L96'>option_group_undo</a>   96 src/editor/edit.c gboolean option_group_undo = FALSE;</span>
<span class='curline'><a href='../S/src--editor--edit.c.html#L1322'>option_group_undo</a> 1322 src/editor/edit.c         if (!option_group_undo)</span>
<span class='curline'><a href='../S/src--editor--edit.h.html#L49'>option_group_undo</a>   49 src/editor/edit.h extern gboolean option_group_undo;</span>
<span class='curline'><a href='../S/src--editor--editoptions.c.html#L177'>option_group_undo</a>  177 src/editor/editoptions.c                     QUICK_CHECKBOX (N_("&amp;Group undo"), &amp;option_group_undo, NULL),</span>
<span class='curline'><a href='../S/src--setup.c.html#L358'>option_group_undo</a>  358 src/setup.c        { "editor_group_undo", &amp;option_group_undo },</span>
</pre>
</body>
</html>
